A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.

This is a welcome reprint of a book that continues to grow in importance.

The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se bastian) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Coun try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (...) (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fun dazioa. The main topics of the meeting were Model Theory, Proof Theory, Re cursion and Complexity Theory, Models of Arithmetic, Logic for Artifi cial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic. The Program Committee consisted of K. Ambos Spies (Heidelberg), J.L. Balcazar (Barcelona), J.E. Fenstad (Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham), J.M. Larrazabal (San Sebastian), D. Lascar (Paris, chairman), A. Marcja (Firenze), G. Mints (Stanford), M. Otero (Madrid), S. Ronchi della Rocca (Torino), K. Segerberg (Uppsala) and L. Vega (Madrid). The organizing Committee consisted of X. Arrazola (San Sebastian), A. Arrieta (San Sebastian), R. Beneyeto (Valencia), B. Carrascal (San Se bastian), K. Korta (San Sebastian), J.M. Larrazabal (San Sebastian, chair man), J.C. Martinez (Barcelona), J.M. Mendez (Salamanca), F. Migura (Victoria) and J. Perez (Victoria). (shrink)

Az értelmiségi mint történelmi probléma -- Dic cur hic -- Van-e a filozófiának múltja? (hiszen örök) -- A német kontraszt -- Beszéd a félelem nélküli beszédről -- Öt tanács a hazának -- Utolsó feljegyzések -- Felhívás a Bürök című folyóirat megalapítására -- Jegyzetek -- Életrajzi kísérlet.

We give a tensor formulation of synchronization transformations within special relativity in order to bridge the gap between some philosophical discussions (e.g., by Grünbaum and Winnie) and the analyses given by physicists (e.g., Møller). As an application, we discuss a physical interpretation of the duality between covariant and contravariant indices in the tensor formulation.

How were the aims of philosophy and the responsibilities of philosophers conceived in ancient Greece and China? How were the learned elite recruited and controlled; how were their speculations and advice influenced by the different types of audiences they faced and the institutions in which they worked? How was a yearning for invulnerability reconciled with a sense of human frailty? In each chapter of this fascinating analysis ancient Greek and Chinese ideas and practices are used as a basis for critical (...) reflections on the predicaments we continue to face today, with a particular focus on the key Greek ideas of the equal participation of all citizens in the political process, and on the key Chinese one of a dedication to the ideal of the welfare of all under heaven. (shrink)

Alerting regulatory and professional bodies to lawyer misconduct has traditionally been a predominantly reactionary process, heavily reliant upon client complaint. It cannot be assumed, however, that client complaint will unearth all forms of lawyer misconduct. Accordingly, there is a legitimate question over whether lawyers should, as members of a profession, perform a self-policing function in reporting their peers' misconduct to the relevant body. The point assumes especial significance in the Australian context because Australia is unique, vis-à-vis comparable common law jurisdictions, (...) in not imposing any general professional obligation to report. This article addresses the core issues to be addressed in the debate surrounding whether or not Australian regulators ought to follow the lead of those other jurisdictions. (shrink)

Examines the underlying assumptions and associated concepts of how we determine whether or not a person is capable of making moral judgements.